| Model: | wlan v.1 (MDP) |
| Parameter(s) | MAX_BACKOFF = 6, COL = 0 |
| Property: | cost_min (exp-reward) |
mono ./modest-fret-pi-lrtdp-master/FretLrtdp.exe wlan.6.jani --epsilon 1e-3 --props cost_min -E COL=0
| Walltime: | 3.5443286895751953s |
| Return code: | 0 |
| Relative Error: | 0.0 |
wlan.6.jani:model: info: wlan.6 is an MDP model. wlan.6.jani: info: Need 15 bytes per state. Throw exception wlan.6.jani:properties[2]: warning: Computing minimum expected reward in property "cost_min" without checking for zero-reward end components. Peak memory usage: 69 MB Analysis results for wlan.6.jani Experiment COL=0 + Property cost_min Value: 7625 Time: 2.4 s